Čulík, Karel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

ITERATIVE DEVICES GENERATING INFINITE WORDS

CULIK II, KAREL, KARHUMÄKI, JUHANI

Journal:

International Journal of Foundations of Computer Science

Year:

1994

Language:

english

File:

PDF, 1.05 MB

english, 1994

2

On infinite words obtained by iterating morphisms

Karel Culik II, Arto Salomaa

Journal:

Theoretical Computer Science

Year:

1982

Language:

english

File:

PDF, 725 KB

english, 1982

3

Properties of Finite and Pushdown Transducers

Choffrut, Christian, Culik II, Karel

Journal:

SIAM Journal on Computing

Year:

1983

Language:

english

File:

PDF, 1.80 MB

english, 1983

4

Finite Automata Computing Real Functions

Culik, II, Karel, Karhumäki, Juhani

Journal:

SIAM Journal on Computing

Year:

1994

Language:

english

File:

PDF, 2.22 MB

english, 1994

5

Equivalence problems for mappings on infinite strings

Karel Culik II, Jan K. Pachl

Journal:

Information and Control

Year:

1981

Language:

english

File:

PDF, 475 KB

english, 1981

6

A model for the formal definition of programming languages

Journal:

International Journal of Computer Mathematics

Year:

1972

Language:

english

File:

PDF, 973 KB

english, 1972

7

Test sets and checking words for homomorphism equivalence

Karel Culik II, Arto Salomaa

Journal:

Journal of Computer and System Sciences

Year:

1980

Language:

english

File:

PDF, 886 KB

english, 1980

8

Splicing semigroups of dominoes and DNA

Karel Culik II, Tero Harju

Journal:

Discrete Applied Mathematics

Year:

1991

Language:

english

File:

PDF, 891 KB

english, 1991

9

Parallel algorithms and architectures report of a workshop

Duncan A. Buell, David A. Carlson, Yuan-Chieh Chow, Karel Culik, Narsingh Deo, Raphael Finkel, Elias N. Houstis, Elaine M. Jacob Son, Zvi M. Kedem, Janusz S. Kowalik, Philip J. Kuekes, Joanne L. Marti

Journal:

The Journal of Supercomputing

Year:

1988

Language:

english

File:

PDF, 1.40 MB

english, 1988

10

On the power of L-systems in image generation

Karel Culik, Jarkko Kari

Journal:

Acta Informatica

Year:

1994

Language:

english

File:

PDF, 1.07 MB

english, 1994

11

A note on some tree similarity measures

Karel Culik II, Derick Wood

Journal:

Information Processing Letters

Year:

1982

Language:

english

File:

PDF, 448 KB

english, 1982

12

Image-data compression using edge-optimizing algorithm for WFA inference

Karel Culik II, Jarkko Kari

Journal:

Information Processing & Management

Year:

1994

Language:

english

File:

PDF, 1.79 MB

english, 1994

13

On the Limit Sets of Cellular Automata

Culik II, Karel, Pachl, Jan, Yu, Sheng

Journal:

SIAM Journal on Computing

Year:

1989

Language:

english

File:

PDF, 1.22 MB

english, 1989

14

On Metapaths in Metagraphs

Journal:

SIAM Journal on Algebraic and Discrete Methods

Year:

1984

Language:

english

File:

PDF, 2.00 MB

english, 1984

15

Report on the Algorithmic Language ALGOL 60.by J. W. Backus; F. L. Bauer; J. Green; C. Katz; J. McCarthy; P. Naur; A. J. Perlis; H. Rutishauser; K. Vauquois; J. H. Wegstein; A. van Wijngaarden; M. Woodger

Review by: Karel Čulík

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 194 KB

english, 1972

16

PARALLEL GRAPH GENERATING AND GRAPH RECURRENCE SYSTEMS FOR MULTICELLULAR DEVELOPMENT†

II, KAREL CULIK, LINDENMAYER, ARISTID

Journal:

International Journal of General Systems

Year:

1976

Language:

english

File:

PDF, 804 KB

english, 1976

17

The topological entropy of cellular automata is uncomputable

Hurd, Lyman P., Kari, Jarkko, Culik, Karel

Journal:

Ergodic Theory and Dynamical Systems

Year:

1992

Language:

english

File:

PDF, 688 KB

english, 1992

18

GROWING CELLULAR SYSTEMS: GENERATION OF GRAPHS BY PARALLEL REWRITING

LINDENMAYER, ARISTID, II, KAREL CULIK

Journal:

International Journal of General Systems

Year:

1979

Language:

english

File:

PDF, 5.32 MB

english, 1979

19

Systolic tree acceptors

Culik, Karel Ii, Salomaa, Arto, Wood, Derick

Journal:

RAIRO. Informatique théorique

Year:

1984

Language:

english

File:

PDF, 1.39 MB

english, 1984

20

Topologische Auffassung Der Axiome Der Verknüpfung Von D. Hilbert

Journal:

Mathematical Logic Quarterly

Year:

1965

Language:

german

File:

PDF, 484 KB

german, 1965

21

Extensions of rooted trees and their applications

Journal:

Discrete Mathematics

Year:

1977

Language:

english

File:

PDF, 2.06 MB

english, 1977

22

Systems of equations over a free monoid and Ehrenfeucht's conjecture

Karel Culik II, Juhani Karhumäki

Journal:

Discrete Mathematics

Year:

1983

Language:

english

File:

PDF, 1.52 MB

english, 1983

23

A homomorphic characterization of regular languages

Karel Culik II, Faith E. Fich, Arto Salomaa

Journal:

Discrete Applied Mathematics

Year:

1982

Language:

english

File:

PDF, 185 KB

english, 1982

24

On extendibility of unavoidable sets

Christian Choffrut, Karel Culik II

Journal:

Discrete Applied Mathematics

Year:

1984

Language:

english

File:

PDF, 744 KB

english, 1984

25

Cellular automata, ωω-regular sets, and sofic systems

Karel Culik II, Sheng Yu

Journal:

Discrete Applied Mathematics

Year:

1991

Language:

english

File:

PDF, 1.10 MB

english, 1991

26

Rational and affine expressions for image description

Karel Culik II, Simant Dube

Journal:

Discrete Applied Mathematics

Year:

1993

Language:

english

File:

PDF, 1.35 MB

english, 1993

27

Weighted finite transducers in image processing

Karel Culik II, Ivan Friš

Journal:

Discrete Applied Mathematics

Year:

1995

Language:

english

File:

PDF, 940 KB

english, 1995

28

Dominoes over a free monoid

Karel Culik II, Tero Harju

Journal:

Theoretical Computer Science

Year:

1982

Language:

english

File:

PDF, 2.06 MB

english, 1982

29

Iterative tree automata

Karel Culik II, Sheng Yu

Journal:

Theoretical Computer Science

Year:

1984

Language:

english

File:

PDF, 2.06 MB

english, 1984

30

Topological transformations as a tool in the design of systolic networks

Karel Culik II, Ivan Fris

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 1.85 MB

english, 1985

31

The equivalence of finite valued transducers (on HDT0L languages) is decidable

Karel Culik II, Juhani Karhumäki

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 977 KB

english, 1986

32

New techniques for proving the decidability of equivalence problems

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 1.20 MB

english, 1990

33

An efficient solution of the firing mob problem

Karel Culik II, Simant Dube

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 871 KB

english, 1991

34

The emptiness problem for CA limit sets

Karel Culik II, Sheng Yu

Journal:

Mathematical and Computer Modelling

Year:

1988

Language:

english

File:

PDF, 362 KB

english, 1988

35

The power of totalistic cellular automata and totalistic systolic networks

Journal:

Mathematical and Computer Modelling

Year:

1988

Language:

english

File:

PDF, 260 KB

english, 1988

36

An aperiodic set of 13 Wang tiles

Journal:

Discrete Mathematics

Year:

1996

Language:

english

File:

PDF, 268 KB

english, 1996

37

Abstract families of relations

Karel Čulík II

Journal:

Journal of Computer and System Sciences

Year:

1971

Language:

english

File:

PDF, 517 KB

english, 1971

38

LR-regular grammars—an extension of LR(k) grammars

Karel Čulik II, Rina Cohen

Journal:

Journal of Computer and System Sciences

Year:

1973

Language:

english

File:

PDF, 1.48 MB

english, 1973

39

The ultimate equivalence problem for DOL systems

Journal:

Acta Informatica

Year:

1978

Language:

english

File:

PDF, 346 KB

english, 1978

40

Sequential and jumping machines and their relation to computers

Karel Čulík, Michael A. Arbib

Journal:

Acta Informatica

Year:

1973

Language:

english

File:

PDF, 465 KB

english, 1973

41

HDTOL matching of computations of multitape automata

Karel Culik, Juhani Karhumäki

Journal:

Acta Informatica

Year:

1989

Language:

english

File:

PDF, 623 KB

english, 1989

42

Synchronizable deterministic pushdown automata and the decidability of their equivalence

Karel Culik, Juhani Karhumäki

Journal:

Acta Informatica

Year:

1986

Language:

english

File:

PDF, 507 KB

english, 1986

43

L-systems and mutually recursive function systems

Karel Culik, Simant Dube

Journal:

Acta Informatica

Year:

1993

Language:

english

File:

PDF, 1.11 MB

english, 1993

44

Computational fractal geometry with WFA

Karel Culik II, Jarkko Kari

Journal:

Acta Informatica

Year:

1997

Language:

english

File:

PDF, 252 KB

english, 1997

45

Implementing Daubechies wavelet transform with weighted finite automata

Karel Culik II., Simant Dube

Journal:

Acta Informatica

Year:

1997

Language:

english

File:

PDF, 338 KB

english, 1997

46

Parametrized recurrent systems for image generation

Karel Culik II, Jarkko Kari

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 299 KB

english, 1993

47

Speed-varying ol systems

Karel Culik II, Derick Wood

Journal:

Information Sciences

Year:

1978

Language:

english

File:

PDF, 467 KB

english, 1978

48

Real-time, pseudo real-time, and linear-time ITA

Karel Culik II, Sheng Yu

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 686 KB

english, 1986

49

Affine automata and related techniques for generation of complex images

Karel Culik II, Simant Dube

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.89 MB

english, 1993

50

The Influence of Hopping on Formation of Carbonyl Compounds During Storage of Beer

Alexandr Mikyška, Karel Krofta, Danuša Hašková, Jiří Čulík, Pavel Čejka

Journal:

Journal of the Institute of Brewing

Year:

2011

Language:

english

File:

PDF, 979 KB

english, 2011